Eléments de l'association

	État de New York	108
	Michael Rusinowitch	121
	État de New York *Sauf* Michael Rusinowitch"	103
	Michael Rusinowitch *Sauf* État de New York"	116
	État de New York Et Michael Rusinowitch	5
	État de New York Ou Michael Rusinowitch	224
	*Corpus*	24195

List of bibliographic references

Number of relevant bibliographic references: 5.

Ident.	Authors (with country if any)	Title
003002	Siva Anantharaman [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]	Unification Modulo Homomorphic Encryption
009E14	Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]	The Theory of Total Unary RPO Is Decidable
00A946	Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] ; Rakesh Verma [États-Unis]	RPO Constraint Solving Is in NP
00E606	Jieh Hsiang [États-Unis] ; Michael Rusinowitch [France]	On word problems in equational theories
00E860	Jieh Hsiang [États-Unis] ; Michael Rusinowitch [France]	A new method for establishing refutational completeness in theorem proving

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022